Discerning the decisionmaking of Kim Jong-Un and the North Korean regime on issues of peaceful engagement and warlike actions endures as a mighty challenge for U.S. intelligence analysts and policymakers. In this report, we seek to inform analysis of Democratic People’s Republic of Korea (DPRK) leadership decisionmaking. To do so, we use three discussion papers that were written to facilitate discussion of an interagency working group. The three papers are assembled here in a single report. The first discussion paper describes (...) decisionmaking among different authoritarian regimes, including North Korea, and the opening up of those economies to outside engagement. The second paper outlines two different scenarios that might occur when conventional deterrence on the Korean Peninsula breaks down and the resulting decisions that North Korea’s leadership could face. The third paper assesses DPRK decisionmaking about nuclear weapon use. The report concludes with some observations, drawn from the issues covered in these three discussion papers, about DPRK decisionmaking and stability on the Korean Peninsula. (shrink)

The National Center for Biomedical Ontology is a consortium that comprises leading informaticians, biologists, clinicians, and ontologists, funded by the National Institutes of Health (NIH) Roadmap, to develop innovative technology and methods that allow scientists to record, manage, and disseminate biomedical information and knowledge in machine-processable form. The goals of the Center are (1) to help unify the divergent and isolated efforts in ontology development by promoting high quality open-source, standards-based tools to create, manage, and use ontologies, (2) to create (...) new software tools so that scientists can use ontologies to annotate and analyze biomedical data, (3) to provide a national resource for the ongoing evaluation, integration, and evolution of biomedical ontologies and associated tools and theories in the context of driving biomedical projects (DBPs), and (4) to disseminate the tools and resources of the Center and to identify, evaluate, and communicate best practices of ontology development to the biomedical community. Through the research activities within the Center, collaborations with the DBPs, and interactions with the biomedical community, our goal is to help scientists to work more effectively in the e-science paradigm, enhancing experiment design, experiment execution, data analysis, information synthesis, hypothesis generation and testing, and understand human disease. (shrink)

Some films scare us; some make us cry; some thrill us. Some of the most interesting films, however, leave us suspended between feelings – both joyous and sad, or angry and serene. This paper attempts to explain how this can happen and why it is important. I look closely at one film that creates and exploits these conflicted responses. I argue that cases of conflict in film illuminate a pair of vexing questions about emotion in film: (1) To what extent (...) are emotional responses rational, or in need of rationalization?; and (2) What relationship is there between emotional response and value (moral, filmic, or otherwise)? Conflict, I argue, can be revealing, and can help us better understand emotional responses to narrative film1 in general. The paper is divided into four sections. First, I sketch a theory of emotional engagement that makes sense of the notion of a “conflicted emotional response” to a film. Second, I turn to a particular case of a film that produces this sort of conflict, Fritz Lang’s M (1931), and show that the conflict engendered by that film is both more significant and less unusual than it may appear. In the final two sections, I argue that there is no need to rationalize or make consistent such mixed emotional responses, and that there is real moral, aesthetic, and cognitive value to be had from such conflict. (shrink)

The meta-problem of consciousness is the problem of explaining why we have the intuition that there is a hard problem of consciousness. David Chalmers briefly notes that my phenomenal powers view may be able to answer to this challenge in a way that avoids problems (having to do with avoiding coincidence) facing other realist views. In this response, I will briefly outline the phenomenal powers view and my main arguments for it and—drawing in part on a similar view developed by (...) Harold Langsam—discuss how more precisely its answer to the challenge would go. (shrink)

[1] You have a crystal ball. Unfortunately, it’s defective. Rather than predicting the future, it gives you the chances of future events. Is it then of any use? It certainly seems so. You may not know for sure whether the stock market will crash next week; but if you know for sure that it has an 80% chance of crashing, then you should be 80% confident that it will—and you should plan accordingly. More generally, given that the chance of (...) a proposition A is x%, your conditional credence in A should be x%. This is a chance-credence principle: a principle relating chance (objective probability) with credence (subjective probability, degree of belief). Let’s call it the Minimal Principle (MP). (shrink)

Abstract: The intelligent embedded agricultural robotic system is a low cost and efficient microcontroller robot which include; A soil moisture monitoring system which monitors the moisture content of the soil in the various parts of the field and the measured data to a microcontroller unit which in turn displays the received data on a Liquid Crystal Display to determine when to irrigate or spray the farm field. An automatic car, which follows a path designed in the field, i.e., a (...) white line on a black surface integrated with a spraying and irrigating mechanism for carrying out agricultural spray and irrigation. An automatic solar tracking system that tracks the sun’s position for maximum light intensity was used to charge the DC 12V battery which was used to power to the robotic system. A refilling system with obstacle detection feature was used for refilling water, chemical or fertilizer spray in the spraying and irrigating tank integrated with the line follower robotic system. This embedded system is useful for farmers who wish to monitor the soil moisture content of the field, and automate spraying and irrigation purposes at low costs and higher efficiency. (shrink)

In this paper, we try to understand how Bunge’s scientific hylorealism can fit with several crystal chemistry’s objects and their properties. It is found that many of them, lying at the very core of this discipline, bring support to ontologi-cal emergentism. Building units, such as vacancies, their chemical potential, the crystal quantum number and many aspects of the spectroscopic properties of 4f electrons in ionic crystals, are presented as striking examples of emergent (or submergent) objects or properties encountered (...) in the single crystalline state. Among all the types of building. (shrink)

Contrary to economics or history, for example, there does not exist an organized field dedicated to the philosophy of political science. Given that the philosophical issues raised by political science research are just as pressing and vibrant as those raised in these more organized fields, fostering a field that labels itself Philosophy of Political Science (PoPS) is important. PoPS is advanced here as a fruitful meeting place where both philosophers and practicing political scientists contribute and discuss—with philosophical discussions that are (...) close to and informed by actual developments in political science, making philosophy of science continuous with the sciences in line with contemporary naturalist philosophy of science. The topics scrutinized in the different chapters of the Handbook will figure prominently in PoPS, as we lay out in this chapter. (shrink)

This paper presents a model-theoretic semantics for discourse "about" natural numbers, one that captures what I call "the mathematical-object picture", but avoids what I can "the mathematical-object theory".

Coincidence comes in two varieties – permanent and temporary. Moderate monism is the position that permanent coincidence, but not temporary coincidence, entails identity. Extreme monism is the position that even temporary coincidence entails identity. Pluralists are opponents of monism tout court. The intuitively obvious, commonsensical position is moderate monism. It is therefore important to see if it can be sustained.

The paper discusses the arguments for and against animalism and concludes that a pluralist position which rejects animalism and embraces a multiplicity of thinkers is the best option.

In recent literature, panpsychism has been defended by appeal to two main arguments: first, an argument from philosophy of mind, according to which panpsychism is the only view which successfully integrates consciousness into the physical world (Strawson 2006; Chalmers 2013); second, an argument from categorical properties, according to which panpsychism offers the only positive account of the categorical or intrinsic nature of physical reality (Seager 2006; Adams 2007; Alter and Nagasawa 2012). Historically, however, panpsychism has also been defended by appeal (...) to a third argument based on considerations about the nature and observability of causation. This argument has not been much discussed in recent times. Here is a concise version from William James: "… the concrete perceptual flux, taken just as it comes, offers in our own activity-situations perfectly comprehensible instances of causal agency … If we took these experiences as the type of what actual causation is, we should have to ascribe to cases of causation outside of our life, to physical cases also, an inwardly experiential nature. In other words, we should have to espouse a so-called “pan-psychic” philosophy" (James 1911: 218). James here suggests that we have direct experience of causation in our own agency. He thereby directly contradicts David Hume, who famously denied that we have any experience of causation. James goes on to claim that if this experience is representative of causation in general, it follows that all causation is mental, and that panpsychism is true. This kind of argument for panpsychism can be called the argument from (experience of) causation. This chapter offers, first, a history of this argument and arguments closely related to it, and second, an analysis of the argument – is it valid, are its premises in any way defensible, and how does it relate to the other, more popular arguments for panpsychism from philosophy of mind and categorical properties? (shrink)

In this volume, leading philosophers of psychiatry examine psychiatric classification systems, including the Diagnostic and Statistical Manual of Mental Disorders, asking whether current systems are sufficient for effective diagnosis, treatment, and research. Doing so, they take up the question of whether mental disorders are natural kinds, grounded in something in the outside world. Psychiatric categories based on natural kinds should group phenomena in such a way that they are subject to the same type of causal explanations and respond similarly to (...) the same type of causal interventions. When these categories do not evince such groupings, there is reason to revise existing classifications. The contributors all question current psychiatric classifications systems and the assumptions on which they are based. They differ, however, as to why and to what extent the categories are inadequate and how to address the problem. Topics discussed include taxometric methods for identifying natural kinds, the error and bias inherent in DSM categories, and the complexities involved in classifying such specific mental disorders as "oppositional defiance disorder" and pathological gambling. -/- Contributors George Graham, Nick Haslam, Allan Horwitz, Harold Kincaid, Dominic Murphy, Jeffrey Poland, Nancy Nyquist Potter, Don Ross, Dan Stein, Jacqueline Sullivan, Serife Tekin, Peter Zachar. (shrink)

From the mid-1960s until the late 1980s, the well-known general philosophies of science of the time were applied to economics. The result was disappointing: none seemed to fit. This paper argues that this is due to a special feature of economics: it possesses ‘orientational paradigms’ in high number. Orientational paradigms are similar to Kuhn’s paradigms in that they are shared across scientific communities, but dissimilar to Kuhn’s paradigms in that they are not generally accepted as valid guidelines for further research. (...) As will be shown by several examples, orientational paradigms provide economics with common points of reference that support its epistemic coherence and make scientific discourse more easily possible across school boundaries. With the help of systematicity theory, a newer general philosophy of science, one can further elucidate the role of orientational paradigms with regard to scientific progress. (shrink)

This paper considers two reasons that might support Russell’s choice of a ramified-type theory over a simple-type theory. The first reason is the existence of purported paradoxes that can be formulated in any simple-type language, including an argument that Russell considered in 1903. These arguments depend on certain converse-compositional principles. When we take account of Russell’s doctrine that a propositional function is not a constituent of its values, these principles turn out to be too implausible to make these arguments troubling. (...) The second reason is conditional on a substitutional interpretation of quantification over types other than that of individuals. This reason stands up to investigation: a simple-type language will not sustain such an interpretation, but a ramified-type language will. And there is evidence that Russell was tacitly inclined towards such an interpretation. A strong construal of that interpretation opens a way to make sense of Russell’s simultaneous repudiation of propositions and his willingness to quantify over them. But that way runs into trouble with Russell’s commitment to the finitude of human understanding. (shrink)

Logicism is, roughly speaking, the doctrine that mathematics is fancy logic. So getting clear about the nature of logic is a necessary step in an assessment of logicism. Logic is the study of logical concepts, how they are expressed in languages, their semantic values, and the relationships between these things and the rest of our concepts, linguistic expressions, and their semantic values. A logical concept is what can be expressed by a logical constant in a language. So the question “What (...) is logic?” drives us to the question “What is a logical constant?” Though what follows contains some argument, limitations of space constrain me in large part to express my Credo on this topic with the broad brush of bold assertion and some promissory gestures. (shrink)

Discourse carries thin commitment to objects of a certain sort iff it says or implies that there are such objects. It carries a thick commitment to such objects iff an account of what determines truth-values for its sentences say or implies that there are such objects. This paper presents two model-theoretic semantics for mathematical discourse, one reflecting thick commitment to mathematical objects, the other reflecting only a thin commitment to them. According to the latter view, for example, the semantic role (...) of number-words is not designation but rather the encoding of cardinality-quantifiers. I also present some reasons for preferring this view. (shrink)

This paper has three aims: to define autonomism clearly and charitably, to offer a positive argument in its favour, and to defend a larger view about what is at stake in the debate between autonomism and its critics. Autonomism is here understood as the claim that a valuer does not make an error in failing to bring her moral and aesthetic judgements together, unless she herself values doing so. The paper goes on to argue that reason does not require the (...) valuer to make coherent her aesthetic and moral evaluations. Finally, the paper shows that the denial of autonomism has realist commitments that autonomism does not have, and concludes that issues of value realism and irrealism are relevant to the debates about autonomism in ways that have not hitherto been recognized. (shrink)

Immoralists hold that in at least some cases, moral fl aws in artworks can increase their aesthetic value. They deny what I call the valence constraint: the view that any effect that an artwork’s moral value has on its aesthetic merit must have the same valence. The immoralist offers three arguments against the valence constraint. In this paper I argue that these arguments fail, and that this failure reveals something deep and interesting about the relationship between cognitive and moral value. (...) In the fi nal section I offer a positive argument for the valence constraint. (shrink)

This paper and its sequel “look under the hood” of the usual sorts of proof-theoretic systems for certain well-known intuitionistic and classical propositional modal logics. Section 1 is preliminary. Of most importance: a marked formula will be the result of prefixing a formula in a propositional modal language with a step-marker, for this paper either 0 or 1. Think of 1 as indicating the taking of “one step away from 0.” Deductions will be constructed using marked formulas. Section 2 presents (...) the model-theoretic concepts, based on those in [7], that guide the rest of this paper. Section 3 presents Natural Deduction systems IK and CK, formalizations of intuitionistic and classical one-step versions of K. In these systems, occurrences of step-markers allow deductions to display deductive structure that is covered over in familiar “no step” proof-theoretic systems for such logics. Box and Diamond are governed by Introduction and Elimination rules; the familiar K rule and Necessitation are derived (i.e. admissible) rules. CK will be the result of adding the 0-version of the Rule of Excluded Middle to the rules which generate IK. Note: IK is the result of merely dropping that rule from those generating CK, without addition of further rules or axioms (as was needed in [7]). These proof-theoretic systems yield intuitionistic and classical consequence relations by the obvious definition. Section 4 provides some examples of what can be deduced in IK. Section 5 defines some proof-theoretic concepts that are used in Section 6 to prove the soundness of the consequence relation for IK (relative to the class of models defined in Section 2.) Section 7 proves its completeness (relative to that class). Section 8 extends these results to the consequence relation for CK. (Looking ahead: Part 2 will investigate one-step proof-theoretic systems formalizing intuitionistic and classical one-step versions of some familiar logics stronger than K.). (shrink)

Ancient Chinese and Greek thinkers alike were preoccupied with the moral value of music; they distinguished between good and bad music by looking at the music’s effect on moral character. The idea can be understood in terms of two closely related questions. Does music have the power to affect the ethical character of either listener or performer? If it does, is it better as music for doing so? I argue that an affirmative answers to both questions are more plausible than (...) it might seem at first. (shrink)

A model-theoretic approach to the semantics of set-theoretic discourse.

Biomedical science has been remarkably successful in explaining illness by categorizing diseases and then by identifying localizable lesions such as a virus and neoplasm in the body that cause those diseases. Not surprisingly, researchers have aspired to apply this powerful paradigm to addiction. So, for example, in a review of the neuroscience of addiction literature, Hyman and Malenka (2001, p. 695) acknowledge a general consensus among addiction researchers that “[a]ddiction can appropriately be considered as a chronic medical illness.” Like other (...) diseases, “Once addiction has taken hold, it tends to follow a chronic course.” (Koob and La Moal 2006, p. ?). Working from this perspective, much effort has gone into characterizing the symptomology of addiction and the brain changes that underlie them. Evidence for involvement of dopamine transmission changes in the ventral tegmental area (VTA) and nucleus accumbens (NAc) have received the greatest attention. Kauer and Malenka (2007, p. 844) put it well: “drugs of abuse can co-opt synaptic plasticity mechanisms in brain circuits involved in reinforcement and reward processing”. Our goal in this chapter to provide an explicit description of the assumptions of medical models, the different forms they may take, and the challenges they face in providing explanations with solid evidence of addiction. <br>. (shrink)

The concept of the receptive field, first articulated by Hartline, is central to visual neuroscience. The receptive field of a neuron encompasses the spatial and temporal properties of stimuli that activate the neuron, and, as Hubel and Wiesel conceived of it, a neuron’s receptive field is static. This makes it possible to build models of neural circuits and to build up more complex receptive fields out of simpler ones. Recent work in visual neurophysiology is providing evidence that the classical receptive (...) field is an inaccurate picture. The receptive field seems to be a dynamic feature of the neuron. In particular, the receptive field of neurons in V1 seems to be dependent on the properties of the stimulus. In this paper, we review the history of the concept of the receptive field and the problematic data. We then consider a number of possible theoretical responses to these data. (shrink)

Aesthetic internalism claims a link between judgement and motivation: aesthetic judgements bring with them motivations to act in characteristic ways. Critics object that there is a difference between merely liking something and judging it to be aesthetically good, and that it is our likings, not our aesthetic judgements, that motivate us. This paper develops a version of aesthetic internalism that can respond to this criticism. Wholehearted aesthetic judgements are characterized by stability, attention, and motivation. Making such judgements is an important (...) part of a good life, and so at least some aesthetic judgements are motivating. So we have reason to think that this version of aesthetic internalism is true. This paper defends wholehearted aesthetic internalism against objections, and assesses an argument from aesthetic internalism to aesthetic non-cognitivism. While wholehearted aesthetic internalism can only offer qualified support to non-cognitivism, it nonetheless offers a number of fruitful avenues for further work. (shrink)

Where $\underline{a}$ is a Turing degree and ξ is an ordinal $ , the result of performing ξ jumps on $\underline{a},\underline{a}^{(\xi)}$ , is defined set-theoretically, using Jensen's fine-structure results. This operation appears to be the natural extension through $(\aleph_1)^{L^\underline{a}}$ of the ordinary jump operations. We describe this operation in more degree-theoretic terms, examine how much of it could be defined in degree-theoretic terms and compare it to the single jump operation.

What are conspiracy theories? And what, if anything, is epistemically wrong with them? I offer an account on which conspiracy theories are a unique way of holding a belief in a conspiracy. Specifically, I take conspiracy theories to be self-insulating beliefs in conspiracies. On this view, conspiracy theorists have their conspiratorial beliefs in a way that is immune to revision by counter-evidence. I argue that conspiracy theories are always irrational. Although conspiracy theories involve an expectation to encounter some seemingly disconfirming (...) evidence (allegedly planted by the conspirators), resistance to all counter- evidence cannot be justified on these grounds. (shrink)

The topic of this essay is how non-realistic novels challenge our philosophical understanding of the moral significance of literature. I consider just one case: Joseph Heller’s Catch-22. I argue that standard philosophical views, based as they are on realistic models of literature, fail to capture the moral significance of this work. I show that Catch-22 succeeds morally because of the ways it resists using standard realistic techniques, and suggest that philosophical discussion of ethics and literature must be pluralistic if it (...) is to include all morally salient literature, and not just novels in the “Great Tradition” and their ilk. (shrink)

Bibliography of South African literary works and literary criticism published in 2019.

© British Society of Aesthetics 2018. Published by Oxford University Press on behalf of the British Society of Aesthetics. All rights reserved. For Permissions, please email: [email protected] adaptation of literary works into films has been almost completely neglected as a philosophical topic. I discuss two questions about this phenomenon:What do we mean when we say that a film is faithful to its source?Is being faithful to its source a merit in a film adaptation?In response to, I set out two distinct (...) senses of fidelity: story fidelity and thematic fidelity. I then argue, in response to, that thematic fidelity, but not story fidelity, is an aesthetic merit in a film adaptation. The key steps in this argument involve showing that merely preserving the story from one medium to another does not typically involve an aesthetically... (shrink)

Divers presents a set of de re modal truths which, he claims, are inconvenient for Lewisean modal realism. We argue that there is no inconvenience for Lewis.

I prove that the Boolean Prime Ideal Theorem is equivalent, under some weak set-theoretic assumptions, to what I will call the Cut-for-Formulas to Cut-for-Sets Theorem: for a set F and a binary relation |- on Power(F), if |- is finitary, monotonic, and satisfies cut for formulas, then it also satisfies cut for sets. I deduce the CF/CS Theorem from the Ultrafilter Theorem twice; each proof uses a different order-theoretic variant of the Tukey- Teichmüller Lemma. I then discuss relationships between various (...) cut-conditions in the absence of finitariness or of monotonicity. (shrink)

Several variants of Lewis's Best System Account of Lawhood have been proposed that avoid its commitment to perfectly natural properties. There has been little discussion of the relative merits of these proposals, and little discussion of how one might extend this strategy to provide natural property-free variants of Lewis's other accounts, such as his accounts of duplication, intrinsicality, causation, counterfactuals, and reference. We undertake these projects in this paper. We begin by providing a framework for classifying and assessing the variants (...) of the Best System Account. We then evaluate these proposals, and identify the most promising candidates. We go on to develop a proposal for systematically modifying Lewis's other accounts so that they, too, avoid commitment to perfectly natural properties. We conclude by briefly considering a different route one might take to developing natural property-free versions of Lewis's other accounts, drawing on recent work by Williams. (shrink)

I explore the claim that “fictive imagining” – imagining what it is like to be a character – can be morally dangerous. In particular, I consider the controversy over William Styron’s imagining the revolutionary protagonist in his Confessions of Nat Turner. I employ Ted Cohen’s model of fictive imagining to argue, following a generally Kantian line of thought, that fictive imagining can be dangerous if one has the wrong motives. After considering several possible motives, I argue that only internally directed (...) motives can satisfy the moral concern. Finally, I suggest that when one has the right motives, fictive imagining is morally praiseworthy since it improves one’s ability to imagine the lives of others. (shrink)

Part 1 [Hodes, 2021] “looked under the hood” of the familiar versions of the classical propositional modal logic K and its intuitionistic counterpart. This paper continues that project, addressing some familiar classical strengthenings of K and GL), and their intuitionistic counterparts. Section 9 associates two intuitionistic one-step proof-theoretic systems to each of the just mentioned intuitionistic logics, this by adding for each a new rule to those which generated IK in Part 1. For the systems associated with the intuitionistic counterparts (...) of D and T, these rules are “pure one-step”: their schematic formulations does not use □ or ♢. For the systems associated with the intuitionistic counterparts of K4, etc., these rules meet these conditions: neither □ nor ♢ is iterated; none use both □ and ♢. The join of the two systems associated with each of these familiar logics is the full one-step system for that intuitionistic logic. And further “blended” intuitionistic systems arise from joining these systems in various ways. Adding the 0-version of Excluded Middle to their intuitionistic counterparts yields the one-step systems corresponding to the familiar classical logics. Each proof-theoretic system defines a consequence relation in the obvious way. Section 10 examines inclusions between these consequence relations. Section 11 associates each of the above consequence relations with an appropriate class of models, and proves them sound with respect to their appropriate class. This allows proofs of some failures of inclusion between consequence relations. Section 12 proves that the each consequence relation is complete or weakly complete, that relative to its appropriate class of models. The Appendix presents three further results about some of the intuitionistic consequence relations discussed in the body of the paper. For Keywords, see Part 1. (shrink)

For the theorists of crisis, the revolutionary state comes into existence through violence, and due to its inability to provide an authoritative katechon (restrainer) against internal and external violence, it perpetuates violence until it self-destructs. Writing during extreme economic depression and growing social and political violence, the crisis theorists––Joseph de Maistre, Juan Donoso Cortés, and Carl Schmitt––each sought to blame the chaos of their time upon the Janus-faced postrevolutionary ideals of liberalism and socialism by urging a return to pre-revolutionary moral (...) and religious values. They are united by three counterrevolutionary principles, all of which are purported to remedy revolutionary violence: traditional constitutional fidelity, the philosophy of the decision, and opposition to bourgeois liberalism. This essay is followed by the first complete English translation and publication of Donoso’s letter of October 24, 1851, which contains Donoso’s only reference to the “discussing class,” a political entity later popularized by Schmitt in his 1922 work Political Theology. (shrink)